1 \documentclass[11pt,
a4paper]{article
}
3 \usepackage{fullpage, amssymb, amsthm, enumerate, amsmath, pictexwd, mathrsfs, ../dcpic, ../yomcat
}
7 \setlength{\arraycolsep}{2pt
}
8 \setlength{\parskip}{1ex
}
9 \setlength{\parindent}{0pt
}
14 {\bf Victoria University of Wellington
}\\
[1ex
]
15 {\bf School of Mathematics, Statistics \& Operations Research
}\\
21 Michael Welsh (
301012788)
22 \vspace{1ex
}\hrule\vspace{1ex
}
25 \item \begin{enumerate
}
26 \item \tuple{x,y
} =
\tuple{u,v
} iff
\set{\set{x
},
\set{x,y
}} =
\set{\set{u
},
\set{u,v
}}. \\
27 From this, there are four cases (as LHS $
\subseteq$ RHS):
\begin{enumerate
}
28 \item \set{x
} =
\set{u
} and
\set{x,y
} =
\set{u
}: \\
29 So $x = u$ and $y = u$. As RHS $
\subseteq$ LHS, $x = u = y = v$.
30 \item \set{x
} =
\set{u
} and
\set{x,y
} =
\set{u,v
}: \\
31 \item \set{x
} =
\set{u,v
} and
\set{x,y
} =
\set{u
}: \\
32 \item \set{x
} =
\set{u,v
} and
\set{x,y
} =
\set{u,v
}: \\
39 \item \begin{enumerate
}
52 \item \begin{enumerate
}
58 \item \begin{enumerate
}
65 \item \begin{enumerate
}